\begin{tabbing}
$\forall$$A$,$B$:es\_realizer\{i:l\}.
\\[0ex]R{-}Feasible\=\{i:l\}\+
\\[0ex]($A$)
\-\\[0ex]$\Rightarrow$ R{-}Feasible\=\{i:l\}\+
\\[0ex]($B$)
\-\\[0ex]$\Rightarrow$ R{-}interface($A$; $B$)
\\[0ex]$\Rightarrow$ R{-}interface($B$; $A$)
\\[0ex]$\Rightarrow$ R{-}icompat($A$; $B$)
\end{tabbing}